Null pointer

Results: 61



#Item
11Verifying Dereference Safety via Expanding-Scope Analysis A. Loginov∗ E. Yahav

Verifying Dereference Safety via Expanding-Scope Analysis A. Loginov∗ E. Yahav

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2008-05-21 10:34:30
12In Defense of Probabilistic Static Analysis Shuvendu K. Lahiri Benjamin Livshits  Microsoft Research

In Defense of Probabilistic Static Analysis Shuvendu K. Lahiri Benjamin Livshits Microsoft Research

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2014-03-24 19:21:12
13AN197 S ERIAL C OMMUNICATIONS G UIDE FOR TH E C PX Relevant Devices This application note applies to the following devices: CP2101, CP2102, CP2103, CP2104, CP2105, CP2108

AN197 S ERIAL C OMMUNICATIONS G UIDE FOR TH E C PX Relevant Devices This application note applies to the following devices: CP2101, CP2102, CP2103, CP2104, CP2105, CP2108

Add to Reading List

Source URL: www.silabs.com

Language: English - Date: 2012-11-29 12:48:39
14Universal Serial Bus Handling The IRP_MN_START_DEVICE PnP IRP A Short Primer for Configuring a USB Device, Version 0.1 Kosta Koeman Intel Corporation

Universal Serial Bus Handling The IRP_MN_START_DEVICE PnP IRP A Short Primer for Configuring a USB Device, Version 0.1 Kosta Koeman Intel Corporation

Add to Reading List

Source URL: www.usb.org

Language: English - Date: 2013-12-17 18:51:22
15Static Error Detection using Semantic Inconsistency Inference ∗ Isil Dillig Thomas Dillig  Alex Aiken

Static Error Detection using Semantic Inconsistency Inference ∗ Isil Dillig Thomas Dillig Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2007-03-26 13:07:27
16WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen,

WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen,

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2011-12-17 11:25:56
17--  -- The University of Arizona Department of Computer Science

-- -- The University of Arizona Department of Computer Science

Add to Reading List

Source URL: www.snobol4.org

Language: English - Date: 2004-05-25 19:40:01
18--  -- The University of Arizona Department of Computer Science

-- -- The University of Arizona Department of Computer Science

Add to Reading List

Source URL: www.snobol4.org

Language: English - Date: 2004-05-25 19:40:01
19Evaluating and Tuning a Static Analysis to Find Null ∗ Pointer Bugs David Hovemeyer, Jaime Spacco, and William Pugh Dept. of Computer Science University of Maryland

Evaluating and Tuning a Static Analysis to Find Null ∗ Pointer Bugs David Hovemeyer, Jaime Spacco, and William Pugh Dept. of Computer Science University of Maryland

Add to Reading List

Source URL: faculty.ycp.edu

Language: English - Date: 2014-08-22 12:24:22
20Page 1  Vector Rewrite Attack Exploitable NULL Pointer Vulnerabilities on ARM and XScale Architectures  Barnaby Jack

Page 1 Vector Rewrite Attack Exploitable NULL Pointer Vulnerabilities on ARM and XScale Architectures Barnaby Jack

Add to Reading List

Source URL: cansecwest.com

Language: English - Date: 2008-06-07 19:30:50